xen/arm: Implement domain_get_maximum_gpfn
authorJulien Grall <julien.grall@linaro.org>
Mon, 20 Apr 2015 15:06:21 +0000 (17:06 +0200)
committerIan Campbell <ian.campbell@citrix.com>
Wed, 22 Apr 2015 13:08:10 +0000 (14:08 +0100)
commit7b7d7b56effff9c5af871892c552e30da7619f82
treee02a7f4c10c3f9850de7f8ee56755048b5d8df17
parent9e8f53ca71d115b38ec9db1a115801771d685321
xen/arm: Implement domain_get_maximum_gpfn

The function domain_get_maximum_gpfn is returning the maximum gpfn ever
mapped in the guest. We can use d->arch.p2m.max_mapped_gfn for this purpose.

We use this in xenaccess as to avoid the user attempting to set page
permissions on pages which don't exist for the domain, as a non-arch specific
sanity check.

Signed-off-by: Julien Grall <julien.grall@linaro.org>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
xen/arch/arm/mm.c